$M$.din($l$,${\it tg}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(1of(2of($M$));KindDeq;rcv($l$,${\it tg}$);Top)